#define _CRT_SECURE_NO_WARNINGS 1
#include <stdio.h>
//int main()
//{
//	int i = 0;
//	
//	for (i = 1; i <= 100; i++)
//	{
//		if (0 == i % 3)
//			printf("%d  ", i);
//	}
//	return 0;
//}
//int Max(int x, int y)
//{
//	int max = 0;
//	max = (x > y) ? x : y;
//	return max;
//}
//int main()
//{
//	int a = 0, b = 0, c = 0;
//	int tmp1 = 0,tmp2 = 0;
//	scanf("%d %d %d", &a, &b, &c);
//	tmp1 = Max(a, b);
//	tmp2 = Max(b, c);
//	a = Max(tmp1, tmp2);
//	printf("%d", a);
//	return 0;
//}
//main()
//{
//	int a = 0, b = 0, c = 0;
//	scanf("%d %d %d", &a, &b, &c);
//	if (a >= b || a >= c)
//		printf("%d", a);
//	else if (b >= c)
//		printf("%d", b);
//	else
//		printf("%d", c);
//	
//}
//int main()
//{
//	int i = 0, j = 0, tmp = 0;
//	int a[3] = { 0 };
//	for(i = 0; i < 3; i++)
//		scanf("%d", &a[i]);
//	for (j = 1; j <= 2; j++)
//	{
//		for (i = 0; i <= 3 - j - 1; i++)
//		{
//			if (a[i] < a[i + 1]);
//			{
//				tmp = a[i];
//				a[i] = a[i + 1];
//				a[i + 1] = tmp;
//			}
//		}
//	}
//	for (i = 0; i < 3; i++)
//		printf("%d ", a[i]);
//	return 0;
//
//}
//int main()
//{
//	int i = 0, j = 0;
//	for (i = 100; i <= 200;i++)
//	{
//		for (j = 2; j <= 200; j++)
//		{
//			if (i % j == 0)
//				break;
//		}
//		if (i == j)
//		{
//			printf("%d  ", i);
//		}
//	}
//
//	return 0;
//}
//int main()
//{
//	int m, n, r;
//	scanf("%d %d", &m, &n);
//	while (m % n)
//	{
//		r = m % n;
//		m = n;
//		n = r;
//	}
//	printf("%d\n", n);
//	return 0;
//}
main()
{
	int year = 0;
	for (year = 1000; year <= 2000; year++)
	{
		if (year % 4 == 0)
		{
			if (year % 100 != 0)
			{
				printf("%d ", year);
			}
		}
		if (year % 400 == 0)
		{
			printf("%d ", year);
		}
	}
}